(set-logic QF_BV)
(declare-const bv (_ BitVec 32))
(push 0)
(pop 0)
(check-sat)
